Section: Dissemination

Ph.D in progress

• David Cadé

  Computationally Proved Implementations of Security Protocols,

  since September 2009, supervised by Bruno Blanchet

• Miriam Paiola

  Automatic Verification of Group Protocols,

  since November 2010, supervised by Bruno Blanchet

• Robert Künnemann, Secure APIs and Simulation-Based Security, Started Oct. 2010, supervised by Steve Kremer (CASSIS) and Graham Steel

• Gavin Keighren, A Type System for Security APIs, since 2007 (to submit March 2013), advisors Graham Steel and David Aspinall (University of Edinburgh). Graham is now at EPI Prosecco.